/
  • Search Results for 'And~uand~uiaretuplesoftermsofsuitablelength.aruleissafeifeachvariableoccurringin~u[~un 1[:::[~umalsooccursin~u1[:::[~un.atoms(~u)istheheadoftherule'